package pa14.proj.boundschecker.test;

/* @Author : Shivam Chaturvedi
 * 
 */
@SuppressWarnings("unused")
public class TC1_NormalBounds {

	public static void main(String[] args) {
		int x = 100;
		TC1_NormalBounds t = new TC1_NormalBounds();
		t.foo(x);
	}

	public void foo(int x){
		int[] arr = new int[4];
		System.out.println(arr[5]);
		int b = arr[1] + arr[2];
		Integer[] arr2 = new Integer[4];
		
	}
	
	
	
	/* Rough samples to detect useBoxes and jimple IR returned by Soot 
	public void normalfunction(){
		int[] arr = new int[4];
	}
	
	public int[] integerArrayReturn(){
		int[] arr = new int[4];
		return arr;
	}
	
	public int[] integerArrayReturnAtReturnStatement(){
		return new int[4];
	}
	*/
}
